1. Extensional Godel functional interpretation; a consistency proof of classical analysis
پدیدآورنده : Luckhardt, Horst
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Proof theory,، Intuitionistic mathematics
رده :
QA
3
.
L28
no
.
306
2. Extensional Godel functional interpretation : a consistency proof of classical analysis
پدیدآورنده : Luckhardt, Horst
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Proof theory,، Intuitionistic mathematics
رده :
QA
9
.
L8
1973